export function flattenNavigationVersions(nav) {
    return nav.flatMap((val) => {
        if (typeof val === 'string')
            return [];
        const versions = flattenNavigationVersions(val.pages);
        if (val.version !== undefined)
            versions.push(val.version);
        return versions;
    });
}
